Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
Guarded Horn Clauses Horn clause SLD resolution Concurrent Prolog guard definite clause logic variable GHC Dijkstra's guarded command language DCG definite sentence console dead code logic programming fact CORAL Extended Self-containing Prolog ALGOL 68 Algebraic Logic Functional language Ada/Ed partial evaluation resolution